81. Distributed constraint logic programming
پدیدآورنده: Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
82. Distributed constraint logic programming
پدیدآورنده: Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
83. Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
پدیدآورنده: by Larisa Angstenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer vision.,Logic, Symbolic and mathematical.,Mathematics.
84. Dynamic Worlds
پدیدآورنده: edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
85. Dynamics and management od reasoning processes
پدیدآورنده: edited by John-Jules Ch. Meyer, Jan Treur.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.
رده :
Q335
.
E358
2011
86. Elements of argumentation
پدیدآورنده: / Philippe Besnard and Anthony Hunter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence.,Reasoning.,Logic.,Information technology.
رده :
Q
,
335
,.
B489
,
2008
87. Elements of argumentation /
پدیدآورنده: Philippe Besnard and Anthony Hunter
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Information technology,Logic,Reasoning
رده :
Q335
.
B489
2008
88. Elements of argumentation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence. ; Reasoning. ; Logic. ; Information technology. ;
89. Embedded systems technology :
پدیدآورنده: Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.
رده :
TK7895
.
E42
90. Epistemic logic for AI and computer science
پدیدآورنده: Meyer, John-Jules Ch.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
M495
1995
91. Extraction of fuzzy knowledge base from measurement data
پدیدآورنده: Mohammad Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electrical engineering; Energy; Artificial intelligence,Applied sciences;Extraction;Fuzzy logic;Inverted pendulum;Knowledge base;State of charge
92. Formal Aspects of Context
پدیدآورنده: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
93. Formal concept analysis
پدیدآورنده : Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.)
موضوع : Lattice theory,Comprehension (Theory of knowledge),Logic, Symbolic and mathematical,Information theory,Artificial intelligence, Mathematical models
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
94. Formal methods in artificial intelligence
پدیدآورنده: Allan Ramsay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده :
Q
,
335
,.
R35
,
1988
95. Formal methods in artificial intelligence
پدیدآورنده: Ramsay, Allan, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
96. Foundations of Rational Agency
پدیدآورنده: edited by Michael Wooldridge, Anand Rao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
97. From modallogic to deductive databases
پدیدآورنده: / editor Andre Thayse, authors Paul Gochet...
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Artificial intelligence,Logic programming
رده :
Q
335
.
F76
1989
98. Frontiers in Belief Revision
پدیدآورنده: edited by Mary-Anne Williams, Hans Rott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic.
99. Fundamentals of Fuzzy Sets
پدیدآورنده: edited by Didier Dubois, Henri Prade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
